منابع مشابه
Cómputo Ubicuo en el Control Canino para Actividades de Caza
Resumen. En este trabajo se expone una investigación donde se analizan varios de los principales trabajos en Interacción Animal Computadora (ACI) y los distintos dispositivos tecnológicos en comunicación que existen en la actualidad para animales. Estos dispositivos son usados por el ser humano para interactuar con los animales, lo cual nos permitirá diseñar y desarrollar una herramienta para t...
متن کاملContención de consultas con valores nulos usando el método CQC
Resumen. Este artículo presenta una extensión de nuestro método CQC destinada a comprobar la contención de dos consultas en el contexto de una BD relacional que puede contener valores nulos en los atributos de sus tuplas. Teniendo en cuenta que todos los SGBDs admiten el uso de valores nulos y que las bases de datos “reales” contienen valores nulos, comprobar la contención de consultas en este ...
متن کاملTécnicas Deductivas para el Análisis Sintáctico con Corrección de Errores
We introduce error-correcting parsing schemata, which allow us to define error-correcting parsers in a high-level, declarative way. This formalism can be used to describe error-correcting parsers in a simple and uniform manner, and provides a formal basis allowing to prove their correctness and other properties. We also show how these schemata can be used to obtain different implementations of ...
متن کاملEspecificación de requerimientos con Áncora y el estándar 830
Resumen. Una de las fases iniciales en la ingeniería de software es la obtención de requerimientos. Éstos son elementos medulares en el desarrollo de software, por lo cual es de gran importancia el llevar una metodología para su obtención y análisis; ya que de lo contrario, la lista de requerimientos puede ser tan errónea que causaría el fracaso total del proyecto. Se destaca la importancia e i...
متن کاملComprendiendo el Universo de Discurso Futuro con Escenarios
Resumen. La definición de requisitos es meramente el producto final de la fase de requisitos, pero es el punto de partida basamental para el diseño del software y para la tarea de seguimiento de requisitos, y además en muchos casos es un documento contractual con los clientes. Para lograr una correcta definición, no sólo es necesario comprender el Universo de Discurso presente sino también comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ARQ (Santiago)
سال: 2010
ISSN: 0717-6996
DOI: 10.4067/s0717-69962010000100015